constraint storeの例文

例文

もっと例文:   1  2  3  4  5  6  7  8  9  10

1. Execution of a CHR program starts with an initial constraint store.
2. The constraint store contains the constraints that are currently assumed satisfiable.
3. The constraint store extends the concept of current substitution in two ways.
4. This operation may not detect inconsistency even if the constraint store is unsatisfiable.
5. The constraint store of this second pair is considered the result of the evaluation.